4 Sketched Proof of the Correctness

نویسنده

  • Zeyuan Allen-Zhu
چکیده

We emphasize here that the weak learning algorithm A does not know the distribution D. It only sees samples from D. The time and sampling complexity of A usually depends on δ and γ. The definition of weak learner is different from the normal but strong version of PAC learning in terms of the error guarantee: the strong version requires that for any ε > 0, the error PrD[f(x) 6= c(x)] can be made as small as ε. (Recall that we have learned from the previous lecture on how to obtain a weak leaner for monotone functions, but only when the distribution is uniform. If that weak leaner worked for all distributions (i.e., is distribution-free), it would imply that monotone functions can be PAC learned in the strong sense, contradicting to the impossibility result.)

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Animation is Approximation

Animation is Approximation Abstract An animation is an abstraction of a required system and a proof basis for correct animations of Z has been identiied in a publication by Breuer and Bowen. The potential of animation for explaining formal speciications is acknowledged and the proof criteria for correctness is abstract approximation , based on the notion of abstract interpretation. The example ...

متن کامل

A simplified correctness proof for a well-known algorithm computing strongly connected components

The computation of the strongly connected components of a directed graph is one of the fundamental algorithmic graph problems. Linear-time algorithms with simple implementations are known. Here a simplified correctness proof for one of these algorithms is presented.

متن کامل

Classical motives

There is therefore little which is original contained in these pages. I have given a more or less complete proof of Murre’s result in §4, so as to make the comparison between the different decompositions in 5.3. Also included is a proof (3.5) of the unsurprising fact that the category of motives constructed using rational equivalence of cycles is in general not an abelian category. Otherwise pr...

متن کامل

A short proof of Gowers' lower bound for the regularity lemma

A celebrated result of Gowers states that for every > 0 there is a graph G such that every -regular partition of G (in the sense of Szemerédi’s regularity lemma) has order given by a tower of exponents of height polynomial in 1/ . In this note we give a new proof of this result that uses a construction and proof of correctness that are significantly simpler and shorter.

متن کامل

Probability Generating Functions for Sattolo’s Algorithm

In 1986 S. Sattolo introduced a simple algorithm for uniform random generation of cyclic permutations on a fixed number of symbols. Recently, H. Prodinger analysed two important random variables associated with the algorithm, and found their mean and variance. H. Mahmoud extended Prodinger’s analysis by finding limit laws for the same two random variables.The present article, starting from the ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2014